Introducing Design Automation for Quantum Computing by Alwin Zulehner & Robert Wille

Author:Alwin Zulehner & Robert Wille
Language: eng
Format: epub
ISBN: 9783030417536
Publisher: Springer International Publishing

Fig. 11.5General transformation rule for characteristic BDDs

Fig. 11.6Handling skipped variables. (a) Skipped input variables. (b) Skipped output variables

Example 11.6

Consider again the characteristic BDD shown in the center of Fig. 11.4. Here, the single x 0 node and the leftmost x 1 node can be transformed to their function matrix DD equivalent by applying the general transformation rule. For the remaining x 1 nodes, the methodology for skipped y 1 output variables is applied. Overall, this yields the DD shown on the right-hand side of Fig. 11.4.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.